$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$. {-}$r$($a$ +$r$ $b$) = (({-}$r$($b$)) +$r$ ({-}$r$($a$))) $\in$ $\mid$$r$$\mid$